#include <stdio.h>

void main(){
    printf("%d\n",EOF);
}